package edu.pku.sei.mte.modelmatch;

import choco.kernel.solver.constraints.integer.extension.CouplesTest;

public class MMArrayEqual extends CouplesTest {
	private int[] array;
	public MMArrayEqual(int[] array){
		this.array = array;
	}
	
	public boolean checkCouple(int x, int y) {
		return (array[x] == y);
	}
}